#Formal Verification

Research

Developing Techniques to Test Correctness of Formal Specifications
Advisor, 
Prof. Manos Kapritsos
Oct. 2022 - Mar. 2023
University of Michigan

Explore techniques for testing the correctness of formal specifications, a crucial aspect given that the reliability of formal verification projects relies on accurate specifications, an area lacking awareness and techniques.